gdk: Fix gdk_device_tool_get_serial() return value

This is a guint64, not just a guint.

https://bugzilla.gnome.org/show_bug.cgi?id=770026

diff --git a/gdk/gdkdevicetool.c b/gdk/gdkdevicetool.c
index 54076b64812e888f7e9df01c2324a884633c6830..3f0781128af4d63470b13ed914ae64ce0ca1d146 100644 (file)
--- a/gdk/gdkdevicetool.c
+++ b/gdk/gdkdevicetool.c
@@ -145,7 +145,7 @@ gdk_device_tool_new (guint64           serial,
  *
  * Since: 3.22
  **/
-guint
+guint64
 gdk_device_tool_get_serial (GdkDeviceTool *tool)
 {
   g_return_val_if_fail (tool != NULL, 0);

diff --git a/gdk/gdkdevicetool.h b/gdk/gdkdevicetool.h
index 9a00d8a8661fa49e35608797e4ab8d77908f1bb3..5486e7e4eb3f367cfeb429aec0cda4ad469f9333 100644 (file)
--- a/gdk/gdkdevicetool.h
+++ b/gdk/gdkdevicetool.h
@@ -65,7 +65,7 @@ GDK_AVAILABLE_IN_3_22
 GType gdk_device_tool_get_type (void) G_GNUC_CONST;
 
 GDK_AVAILABLE_IN_3_22
-guint gdk_device_tool_get_serial (GdkDeviceTool *tool);
+guint64 gdk_device_tool_get_serial (GdkDeviceTool *tool);
 
 GDK_AVAILABLE_IN_3_22
 GdkDeviceToolType gdk_device_tool_get_tool_type (GdkDeviceTool *tool);